val pr<caret>op: @Anno(Foo) Foo